601. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
602. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
603. The Turing omnibus :
پدیدآورنده: A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
604. The computer comes of age :
پدیدآورنده: R. Moreau ; translated by J. Howlett
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers-- History,Programming languages (Electronic computers)-- History
رده :
QA76
.
17
.
M6713
1984
605. The definition of programming languages /
پدیدآورنده: Andrew D. McGettrick
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
M28
606. The design and analysis of computer algorithms /
پدیدآورنده: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
607. The logic of partial information
پدیدآورنده: Nait Abdallah, Areski
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
608. The logic of partial information
پدیدآورنده: Areski Nait Abdallah
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
609. The (new) Turing omnibus :
پدیدآورنده: A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
610. The programming language landscape
پدیدآورنده: / Henry Ledgard, Michael Marcotty
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
L44
1981
611. The school of Niklaus Wirth : the art of simplicity
پدیدآورنده: Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
756
.
S3
612. The secret life of programs :
پدیدآورنده: by Jonathan E. Steinhart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
613. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده: edited by Carl A. Gunter and John C. Mitchell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
614. Thinking in LINQ :
پدیدآورنده: Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
615. Thinking machines and the philosophy of computer science
پدیدآورنده: / [edited by] Jordi Vallverdu
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science -- Philosophy,Computers -- Moral and ethical aspects,Artificial intelligence
رده :
EBL
788
616. Time-shared computer languages
پدیدآورنده:
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Time-sharing computer systems
رده :
QA
76
.
7
.
S36
617. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
618. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
619. Transactions on pattern languages of programming II
پدیدآورنده: James Noble ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
620. Transactions on pattern languages of programming IV /
پدیدآورنده: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
